1. An introduction to formal specification and Z
پدیدآورنده : / Ben Potter, John Sinclair and David Till
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع : Computer software--Development.,Z (Computer program language)
رده :
QA
76
.
76
.
D47P68
1996